Formal Verification of a Railway Crossing Controller Using Time Petri Nets

Formal Verification of Petri Nets with Names

Modelling of Railway Network Using Petri Nets

This paper deals with the use of Petri nets in modelling railway network and designing appropriate control logic for it to avoid collision. Here, the whole railway network is presented as a combination of the elementary models – tracks, stations and points (switch) within the station including sensors and semaphores. We use generalized mutual exclusion constraints and constraints containing the...

Railway Network Modelling Using Petri Nets

This paper deals with the use of Petri nets in modelling railway network and designing appropriate control logic for it to avoid collision. Here, the whole railway network is presented as a combination of the elementary models – tracks, stations and points (switch) within the station including sensors and semaphores. We use generalized mutual exclusion constraints and constraints containing the...

specification and verification of medical monitoring system using petri‑nets

to monitor the patient behavior, data are collected from patient’s body by a medical monitoring device so as to calculate the output using embedded software. incorrect calculations may endanger the patient’s life if the software fails to meet the patient’s requirements. accordingly, the veracity of the software behavior is a matter of concern in the medicine; moreover, the data collected from t...

Rule Base Verification Using Petri Nets

In this paper, we propose a Petri nets formalism for the verification of rule based systems. Typical structural errors in a rule based system are redundancy, inconsistency, incompleteness, and circularity. Since our verification is based on Petri nets and their incidence matrix, so we need to transform rules into a Petri net first, then derive an incidence matrix from the net. In order to let a...